Search Results
Dr. TLA+ Series - Byzantine Paxos
Dr. TLA+ Series- Paxos
Dr. TLA+ Series - Fast Paxos
L9: Paxos Simplified
Multi Paxos, Fast Paxos, Byzantine Paxos
Flexible Paxos
TLA+ Formal Specification of a Consensus Protocol
Lec18 Video: Byzantine Failures, Distributed Commit, Paxos (04/06/18)
TLA+ in Engineering Systems – Quinceañera - David Langworthy
Debugging software designs using testable pseudo-code (Jay Parlar)
Specification and Verification of Multi-Paxos
Distributed Consensus Making Impossible Possible - Heidi Howard - JOTB16
